On Varieties of Literally Idempotent Languages
نویسندگان
چکیده
منابع مشابه
On Varieties of Literally Idempotent Languages
A language L ⊆ A∗ is literally idempotent in case that uav ∈ L if and only if uav ∈ L for each u, v ∈ A∗, a ∈ A. Such classes result naturally by taking all literally idempotent languages in a classical (positive) variety or by considering a certain closure operator. We initiate their systematic study. Various classes of such languages can be characterized using syntactic methods. A starting ex...
متن کاملLiterally idempotent languages and their varieties - two letter case
A language L ⊆ A∗ is literally idempotent in case that uav ∈ L if and only if uav ∈ L, for each u, v ∈ A∗, a ∈ A. We already studied classes of such languages closely related to the (positive) varieties of the famous StraubingThérien hierarchy. In the present paper we start a systematic study of literal varieties of literally idempotent languages, namely we deal with the case of two letter alph...
متن کاملIDEMPOTENT n-PERMUTABLE VARIETIES
One of the important classes of varieties identified in tame congruence theory is the class of varieties which are n-permutable for some n. In this paper we prove two results: (1) For every n > 1 there is a polynomial-time algorithm which, given a finite idempotent algebra A in a finite language, determines whether the variety generated by A is n-permutable; (2) A variety is n-permutable for so...
متن کاملRewriting in Varieties of Idempotent Semigroups
We consider rewriting as a tool for solving identity problems in varieties of idempotent semigroups. It is known that there exist finite canonical term rewrite systems and finite canonical word rewrite systems for only a very limited number of those varieties. We present a finite canonical conditional word rewrite system for a particular variety in which the classical approaches cannot be appli...
متن کاملOn Varieties of Left Distributive Left Idempotent Groupoids
We describe a part of the lattice of subvarieties of left distributive left idempotent groupoids (i.e. those satisfying the identities x(yz) ≈ (xy)(xz) and (xx)y ≈ xy) modulo the lattice of subvarieties of left distributive idempotent groupoids. A free groupoid in a subvariety of LDLI groupoids satisfying an identity x ≈ x decomposes as the direct product of its largest idempotent factor and a ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: RAIRO - Theoretical Informatics and Applications
سال: 2008
ISSN: 0988-3754,1290-385X
DOI: 10.1051/ita:2008020